#ifndef __EKF_SYS_H__
#define __EKF_SYS_H__

#include <global/header/types.h>
#include <global/header/sys.h>

/* This structure is used to indicate the configure inside the
 * kernel */
struct ekf_sysconf_s
{
	 int has_pic;
	 int use_pic;

	 int lcpu_count;
	 int lcpu_boot;
	 
	 int has_lapic;
	 int use_lapic;
	 physaddr_t lapic_phys;

	 int ioapic_count;
	 int use_ioapic;
	 int use_ioapic_eoi;

	 int        has_hpet;
	 physaddr_t hpet_phys;
};

extern volatile struct ekf_sysconf_s ekf_sysconf;
extern volatile struct sysconf_s     sysconf;

#endif
